A = (-1.22, 2.28)
C = (4.74, -0.16)
a = Segment(A, C)
I = Midpoint(a)
b = OrthogonalLine(I, a)
B = Point(b)
D = Mirror(B, I)
poly1, a_1, d, b_1, d' = Polygon(A, B, C, D)
f = Segment(A, C)
g = Segment(B, D)
α = Angle(D, A, B)
distanceAB = Distance(A, C)
TexteAB: Name[A] + (Name[C]) + " = " + distanceAB
distanceDD' = Distance(B, D)
TexteDD': Name[B] + (Name[D]) + " = " + distanceDD'